Vers un modèle du raisonnement dans les langages à objets

Résumé Ce papier est une proposition de modèle du raisonnement dans les langages hybrides, intégrant un langage de programmation par objets avec des règles de production. Nous proposons de différencier entre deux catégories d'objets, les objet du monde perçu et ceux du monde conçu. Le raisonnement est alors considéré comme un processus qui crée ou modifie le monde conçu à partir d'observations du monde perçu. Nous nous appuyons sur un exemple, l'analyse harmonique de grilles d'accords de Jazz. Dans ce système, les objets perçus sont les objets graphiquement représentables (les notes, les accords, et dans une moindre mesure les intervalles). Les objets conçus sont les tonalités, les degrés, les formes harmoniques identifiées par l'expert. Le raisonnement est représenté par deux types de règles : des règles dites de reconnaissance, et des règles de remplissage. Ces deux types de règles sont réinterprétés dans notre cadre, pour montrer qu'ils respectent notre distinction. Nous concluons sur la validité de notre proposition comme embryon de méthode pour la construction de bases de connaissances dans les systèmes hybrides.